Investigating Self-Timed Circuits for the Time-Triggered Protocol.

Markus Ferringer

Published in: ReCoSoC (2010)

Keyphrases

low power
high speed
lightweight
formal analysis
high bandwidth
digital circuits
logic circuits
delay insensitive
analog circuits
coloured petri nets
database systems
logic synthesis
network protocols
network simulator
cryptographic protocols
tcp ip
high density