Avancerad sökning

Hittade 2 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Advanced algorithms for boolean decomposition

   Författare :Andrés Martinelli; KTH; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

3. 2. Advances in Functional Decomposition: Theory and Applications

   Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; computer science; electronic system design; Boolean decomposition; binary decision diagram; logic synthesis; graph algorithm; Computer science; Datavetenskap;

   Sammanfattning : Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. LÄS MER