A formal approach to designing delay-insensitive circuits (Q808286): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3777424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compiling communicating processes into delay-insensitive VLSI circuits / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Trace theory and VLSI design / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3337380 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:16, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A formal approach to designing delay-insensitive circuits |
scientific article |
Statements
A formal approach to designing delay-insensitive circuits (English)
0 references
1991
0 references
asynchronous circuit
0 references
trace semantics
0 references
regular expressions
0 references
delay- insensitive circuits
0 references
communication behavior
0 references