Cited By
View all- Karputkin AUbar RTombak MRaik J(2012)Automated correction of design errors by edge redirection on High-Level Decision DiagramsThirteenth International Symposium on Quality Electronic Design (ISQED)10.1109/ISQED.2012.6187566(686-693)Online publication date: Mar-2012
- Jobstmann BStaber SGriesmayer ABloem R(2012)Finding and fixing faultsJournal of Computer and System Sciences10.1016/j.jcss.2011.05.00578:2(441-460)Online publication date: 1-Mar-2012
- Veneris AKeng BSafarpour S(2011)From RTL to siliconProceedings of the 16th Asia and South Pacific Design Automation Conference10.5555/1950815.1950884(306-310)Online publication date: 25-Jan-2011
- Show More Cited By