Maria Bjorkman

According to our database, Maria Bjorkman authored at least 2 papers in 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