Sökning: "Andrés Martinelli"

Hittade 2 avhandlingar innehållade orden Andrés Martinelli.

  1. 1. Advances in Functional Decomposition: Theory and Applications

    Författare :Andrés Martinelli; Elena Dubrova; Jon Muzio; Andres Martinelli; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; 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

  2. 2. Advanced algorithms for boolean decomposition

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

    Sammanfattning : .... LÄS MER