Zobrazeno 1 - 10
of 67
pro vyhledávání: '"Andreas Kuehlmann"'
Autor:
Andreas Kuehlmann, Fabio Somenzi
Publikováno v:
EDA for IC Implementation, Circuit Design, and Process Technology ISBN: 9781315221694
Industrial Information Technology ISBN: 9780849379246
Industrial Information Technology ISBN: 9780849379246
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e0dacd62306425c010fb59cb7b353164
https://doi.org/10.1201/9781420007954-4
https://doi.org/10.1201/9781420007954-4
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 21:1377-1394
Many tasks in computer-aided design (CAD), such as equivalence checking, property checking, logic synthesis, and false paths analysis, require efficient Boolean reasoning for problems derived from circuits. Traditionally, canonical representations, e
Autor:
Andreas Kuehlmann, Tobias Welp
Publikováno v:
ASP-DAC
The generalization of Property Directed Reachability (PDR) for the theory QF_BV presented in [1] outperforms the original formulation if the required inductive invariant can be represented efficiently as a set of polytopes. However, many QF_BV model
Publikováno v:
Electronic Notes in Theoretical Computer Science. 23(2):75-87
The verification of timed systems is extremely important, but also extremely difficult. Several methods have been proposed to assist in this task, including extensions to symbolic model checking. One possible use of model checking to analyze timed sy
Publikováno v:
Journal of Electronic Testing. 17:11-27
We introduce SImulation Verification with Augmentation (SIVA), a tool for coverage-directed state space search on digital hardware designs. SIVA tightly integrates simulation with symbolic techniques for efficient state space search. Specifically, th
Autor:
Andreas Kuehlmann
In 2002, the International Conference on Computer Aided Design (ICCAD) celebrates its 20th anniversary. This book commemorates contributions made by ICCAD to the broad field of design automation during that time. The foundation of ICCAD in 1982 coinc
Autor:
Tobias Welp, Andreas Kuehlmann
Publikováno v:
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013.
Publikováno v:
IBM Journal of Research and Development. 39:149-165
Autor:
Leon Stok, M. Z. Moricz, S. Prakash, Andreas Kuehlmann, Reinaldo A. Bergamaschi, R. A. O'Connor, D. S. Rao
Publikováno v:
IBM Journal of Research and Development. 39:131-148