Categories and Subject Descriptors: B.6.3 [Logic Design]: Design Aids -- simulation, switching theory, verification
General Terms: Theory, Verfication
Additional Key Words and Phrases: Hardware verification, logic simulation, ternary simulation
Selected references
- Michael Yoeli and Shlomo Rinon. Application of ternary algebra to the study of static hazards. Journal of the ACM, 11(1):84-97, January 1964.