Sökning: "René Krenz-Bååth"

Hittade 1 avhandling innehållade orden René Krenz-Bååth.

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

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

   Sammanfattning : 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. LÄS MER