Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]
author
Karputkin, Anton
Ubar, Raimund-Johannes
Tombak, Mati
Raik, Jaan
statement of authorship
Anton Karputkin, Raimund Ubar, Mati Tombak, Jaan Raik
source
IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA
location of publication
[S.l.]
publisher
IEEE
year of publication
2011
pages
p. 83 : ill. [CD-ROM]
conference name, date
IEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011
conference location
Napa Valley, CA
url
http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980
subject term
nanoelektroonika
disain
vead
keerukus
ISBN
978-1-4577-1744-4
notes
Bibliogr.: 2 ref
language
inglise