SpecTRM: a CAD system for digital automation

• 27 November 2002
• proceedings article
• Published by Institute of Electrical and Electronics Engineers (IEEE)
• Vol. 1, B52/1-B52/8
• https://doi.org/10.1109/dasc.1998.741474

Abstract