Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
ISBN 13: 9789048123599
Format: Hardcover (192 pages) Publisher: Springer Published: 30 Apr 2009
Save for later
Advanced BDD Optimization
by Rudiger Ebendt,Görschwin Fey,Rolf Drechsler
ISBN 13: 9780387254531
Format: Hardcover (222 pages) Publisher: Springer Published: 09 Jun 2005
Robustness and Usability in Modern Design Flows
by Görschwin Fey,Rolf Drechsler
ISBN 13: 9781402065354
Format: Hardcover (182 pages) Publisher: Springer Published: 08 Jan 2008
ISBN 13: 9781441937964
Format: Paperback (232 pages) Publisher: Springer Published: 12 Oct 2010 Other Format: Hardcover
Debug Automation from Pre-Silicon to Post-Silicon
by Mehdi Dehbashi,Görschwin Fey
ISBN 13: 9783319093086
Format: Hardcover (188 pages) Publisher: Springer Published: 09 Oct 2014
ISBN 13: 9789048176625
Format: Paperback (184 pages) Publisher: Springer Published: 19 Oct 2010
by Rolf Drechsler,Stephan Eggersglüß,Görschwin Fey,Daniel Tille
ISBN 13: 9789048184910
Format: Paperback (204 pages) Publisher: Springer Published: 19 Oct 2010