Packet processing validation
Performing abstraction-refinement using a...
Power aware asynchronous circuits
Power estimation in high-level modeling systems
Prediction of dynamic current waveform and spectrum in a...
Process-independent schema library
Property generating apparatus, property generating method...
Recognizing muliplexers
Reducing critical cycle delay in an integrated circuit...
Representing binary code as a circuit
Representing the behaviors of a packet processor
Reversing the effects of sequential reparameterization on...
Rules and directives for validating correct data used in the...
Semiconductor design support device, semiconductor design...
Simulation method and computer-readable storage medium
Simulation system to verify multicycle path based on circuit...
Software model for a hybrid stacked field programmable gate...
Sorted data outlier identification
Staged scenario generation
Structure for couple noise characterization using a single...