Design of TSC checkers for implementation in CMOS technologySandip KunduSudhakar M. Reddy1989ICCD 1989
Ordered binary decision diagrams and circuit structure - Extended abstractC.Leonard Berman1989ICCD 1989