Sciweavers

CHARME   1999 Correct Hardware Design and Verification Methods
Wall of Fame | Most Viewed CHARME-1999 Paper
CHARME
1999
Springer
130views Hardware» more  CHARME 1999»
13 years 8 months ago
Program Slicing of Hardware Description Languages
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source130
2Download preprint from source100
3Download preprint from source83
4Download preprint from source61