Cross-Domain Datapath Validation Using Formal Proof Accelerators

Author(s):
Aarti Gupta, S. S. Bindumadhava, M. Achutha KiranKumar V, Liu Jun B
Location:
India
Year:
2014
Type:
Presentation
Format:
pptx