Design and verification of pipelined circuits with Timed Petri Nets.

Rémi Parrot Mikaël Briday Olivier H. Roux

Published in: Discret. Event Dyn. Syst. (2023)

Keyphrases

circuit design
computer aided