Novel verification framework combining structural and OBDD methods in a synthesis environment

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.328705 ◽

1995 ◽

Cited By ~ 23

Author(s):

Subdodh M. Reddy ◽

Wolfgang Kunz ◽

Dhiraj K. Pradhan

Download Full-text