Aldec Inc., headquartered in Henderson, Nevada, is an industry leader and pioneer in electronic design verification. Established in 1984, Aldec offers patented verification technology in the areas of mixed-language RTL simulation, FPGA acceleration and emulation, multi-FPGA partitioning and SoC/ASIC prototyping, design rule checking, clock domain crossing analysis, RTAX/RTSX prototyping of radiation tolerant FPGAs for space applications, for functional verification for military, aerospace, avionics, automotive, medical, telecommunications and industrial applications.