Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов
- Title
- Microsoft Word - ВестИНФО_2013_2_10.doc
- Version
- 1.x
- Pages
- 10
- Size
- 465 KB
- Producer
- Acrobat Distiller 7.0.5 (Windows)
Open in Browser
|
View Pdf in Internal Viewer
|
Download
465 KB