On statistical behavior of branch coverage in testing behavioral VHDL models

Amjad Hajjar, Tom Chen, Anneliese von Mayrhauser. On statistical behavior of branch coverage in testing behavioral VHDL models. In Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, Berkeley, California, USA, November 8-10, 2000. pages 89-94, IEEE Computer Society, 2000. [doi]

Authors

Amjad Hajjar

This author has not been identified. Look up 'Amjad Hajjar' in Google

Tom Chen

This author has not been identified. Look up 'Tom Chen' in Google

Anneliese von Mayrhauser

This author has not been identified. It may be one of the following persons: Look up 'Anneliese von Mayrhauser' in Google