Selected papers that cite this one
- Randal E. Bryant. A methodology for hardware verification based on logic simulation. Journal of the ACM, 38(2):299-328, April 1991.
Selected references
- David A. Huffman. The design and use of hazard-free switching networks. Journal of the ACM, 4(1):47-62, January 1957.