Assertion handling for timing model extraction
Assessing distributed energy resources for the energynet
Associating identifiers with virtual processes
Asynchronous clock domain crossing jitter randomiser
AT-speed computer model testing methods
ATA emulation host interface in a RAID controller
ATM connection admission control device for DBR connections
Atomic coordinates generating method
Atomic transaction processing for logic simulation
Audio sample tracker
Audio signal processing apparatus
Augmenting of automated clustering-based trace sampling...
Automata-theoretic verification of systems
Automated approach to resolving artificial algebraic loops
Automated approach to resolving artificial algebraic loops
Automated bottom-up and top-down partitioned design synthesis
Automated connections of computer-aided design components
Automated creation of metrology recipes
Automated custom configuration system and method
Automated event monitoring system for online reservoir...