Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin. Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. on CAD of Integrated Circuits and Systems, 23(3):412-420, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.