Search for dissertations about: "Andres Martinelli"

Found 2 swedish dissertations containing the words Andres Martinelli.

2. 1. Advanced algorithms for boolean decomposition

   Author : Andrés Martinelli; KTH; []
   Keywords : ;

   Abstract : .... READ MORE

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

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

   Abstract : 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. READ MORE