Isabelle Munn

According to our database, Isabelle Munn authored at least 3 papers between 1999 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Stopping Criteria Comparison: Towards High Quality Behavioral Verification.

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman

Proceedings of the 2nd International Symposium on Quality of Electronic Design (ISQED 2001), 2001

High quality behavioral verification using statistical stopping criteria.

Amjad Hajjar, Tom Chen, Isabelle Munn, Anneliese Amschler Andrews, Maria Bjorkman

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1999

Efficient Verification of Behavioral Models Using Sequential Sampling Technique.

Tom Chen, Isabelle Munn, Anneliese von Mayrhauser, Amjad Hajjar

Proceedings of the VLSI: Systems on a Chip, 1999