Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley. Constraint synthesis for environment modeling in functional verification. In Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003. pages 296-299, ACM, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.