Search Results - "Hechkel, M."
-
1
A new synchronization policy between PSL checkers and SystemC designs at transaction level
Published in International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006 (2006)“…The authors present a technique to synchronize between PSL (property specification language) checkers and SystemC IPs at the highest abstraction level of the…”
Get full text
Conference Proceeding
-
2
Verification flow optimization using an automatic coverage driven testing policy
Published in International Conference on Design and Test of Integrated Systems in Nanoscale Technology, 2006. DTIS 2006 (2006)“…SystemC language as well as the verification library going with (SCV), provides a rich set of features for dynamic control and parameterization of the…”
Get full text
Conference Proceeding