Efficient verification of determinate speed-independent circuits
ICCAD '93 Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design
Hazard-free self-timed design: methodology and application
Integrated Computer-Aided Engineering
Hi-index | 0.00 |