Formal verification of digital systems by automatic reduction of data paths
Journal Article
Overview
publication date
- October 1, 1997
Full Author List
- Macii E; Plessier B; Somenzi F
published in
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1136
end page
- 1156
volume
- 16
issue
- 10