Isabelle Munn

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Publications

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
High quality behavioral verification using statistical stopping criteria. DATE (2001)
Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman
Stopping Criteria Comparison: Towards High Quality Behavioral Verification. ISQED (2001)
Tom Chen, Isabelle Munn, Anneliese von Mayrhauser, Amjad Hajjar
Efficient Verification of Behavioral Models Using Sequential Sampling Technique. VLSI (1999)