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...