scientific article; zbMATH DE number 5042671

zbMATH Open1095.68065MaRDI QIDQ5480167FDOQ5480167

Victor Khomenko, Alex Yakovlev, Maciej Koutny

Publication date: 26 July 2006

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• scientific article; zbMATH DE number 1786640
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Realization of automata by asynchronous logical circuits
• scientific article; zbMATH DE number 3601533
• scientific article; zbMATH DE number 3920392
• scientific article; zbMATH DE number 40780
• Applying Logic Synthesis for Speeding Up SAT
• scientific article; zbMATH DE number 3354921
• scientific article; zbMATH DE number 1955905

zbMATH Keywords

Petri netsincremental SATlogic synthesisasynchronous circuitsautomated synthesisSTGself-timed circuitsnet unfoldingspartial order techniquessignal transition graphs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Title not available (Why is that?)
• Combining Decomposition and Unfolding for STG Synthesis
• Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
• STG decomposition strategies in combination with unfolding
• Failures: Their Definition, Modelling and Analysis

Uses Software

• Chaff
• Petrify

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5480167)