scientific article; zbMATH DE number 8771
From MaRDI portal
Publication:3971259
Recommendations
Cited in
(25)- Asynchronous simulation of CMOS structures at switch level by logical programming
- Sequentielle asynchrone Logik / Sequential asynchronous logic
- Asynchronous datapaths and the design of an asynchronous adder
- scientific article; zbMATH DE number 2217813 (Why is no real title available?)
- A current sensing completion detection method for asynchronous pipelines operating in the sub‐threshold regime
- Modular asynchronous arbiter insensitive to metastability
- scientific article; zbMATH DE number 1955906 (Why is no real title available?)
- scientific article; zbMATH DE number 48203 (Why is no real title available?)
- Generalized ternary simulation of sequential circuits
- Hyperidentities and related concepts. II
- Testing asynchronous circuits: A survey
- Hyperidentities and related concepts. I
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
- Design automation of real life asynchronous devices and systems
- Extensions of asynchronous circuits and the delay problem. I: Good extensions and the delay problem of the first kind
- scientific article; zbMATH DE number 139980 (Why is no real title available?)
- An exercise in the automatic verification of asynchronous designs
- A unified framework for race analysis of asynchronous networks
- Automata of asynchronous behaviors
- Model Checking Real-Time Systems
- Constructive semantics for instantaneous reactions
- True concurrency in models of asynchronous circuit behavior
- An inverse method for parametric timed automata
- scientific article; zbMATH DE number 4045666 (Why is no real title available?)
- Models of asynchronous logical circuits and delays
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 Q3971259)
