Signal Transition Graphs for Asynchronous Data Path Circuits

DOI10.18255/1818-1015-2023-2-170-186MaRDI QIDQ6081683

Aleksandr Viktorovich Kushnerov, Unnamed Author

Publication date: 5 October 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais797

zbMATH Keywords

verificationdecompositionarithmeticconformationhandshakepipelineweak causalitydelay in wires

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Cites Work

• Avoiding exponential explosion in Petri net models of control flows
• Minimal energy solutions to the fractional Lane-Emden system: existence and singularity formation
• Extensions of asynchronous circuits and the delay problem. II: Spike-free extensions and the delay problem of the second kind
• Two-level logic minimization: an overview
• Logic Synthesis for Asynchronous Controllers and Interfaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Signal Transition Graphs for Asynchronous Data Path Circuits