Opis

• Tytuł:
  FSM encoding for BDD representations
• Twórca:
  Gosti, Wilsin;
  Villa, Tiziano;
  Saldanha, Alex;
  Sangiovanni-Vincentelli, Alberto L.
• Współtwórca:
  Korbicz, Józef (Red.)
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Biblioteka Uniwersytetu Zielonogórskiego
• Data:
  2007
• Typ:
  artykuł
• Język:
  angielski;
  eng
• Źródło:
  AMCS, volume 17, number 1 (2007)
• Wydawca:
  Zielona Góra: Uniwersytet Zielonogórski
• Temat i słowa kluczowe:
  binary decision diagram;
  encoding;
  finite state machine;
  logic synthesis;
  formal verification;
  logic representation
• Identyfikator:
  10.2478/v10006-007-0011-6
• Dostawca danych:
  Zielonogórska Biblioteka Cyfrowa
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy