Search for dissertations about: "René Krenz-bååth"

Found 1 swedish dissertation containing the words René Krenz-bååth.

2. 1. Dominator-based Algorithms in Logic Synthesis and Verification

   Author : René Krenz-Bååth; Johnny Öberg; Joao Marques-Silva; KTH; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; graph dominators; formal verification; logic synthesis; equivalence checking; decomposition; Electrical engineering; Elektroteknik;

   Abstract : Today's EDA (Electronic Design Automation) industry faces enormous challenges. Their primary cause is the tremendous increase of the complexity of modern digital designs. Graph algorithms are widely applied to solve various EDA problems. READ MORE