Transeda Systems Ltd
Los Gatos, CA 95032
Share:
Software verifies IP-based designs.
VN-Property DX(TM) verifies properties during system simulation by measuring effectiveness of simulation against design-specific properties for SoC, ASIC, and FPGA designs. It allows property checking during any simulation, independent of test generation approach, which enables complex properties to be checked at system level. VN-Property DX includes pre-defined property libraries, user-definable...
Read More »Software verifies IP-based designs.
VN-Property DX(TM) verifies properties during system simulation by measuring effectiveness of simulation against design-specific properties for SoC, ASIC, and FPGA designs. It allows property checking during any simulation, independent of test generation approach, which enables complex properties to be checked at system level. VN-Property DX includes pre-defined property libraries, user-definable...
Read More »