Joakim Urdahl, Dominik Stoffel, Wolfgang Kunz. Path Predicate Abstraction for Sound System-Level Models of RT-Level Circuit Designs. IEEE Trans. on CAD of Integrated Circuits and Systems, 33(2):291-304, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.