Assertion Based Design of Timed Finite State Machine.

Alexander Shkil Anatolii Miroshnyk Georgiy Kulak Kyrylo Pshenychnyi

Published in: EWDTS (2021)

Keyphrases

finite state machines
case study
design process
digital circuits
domain specific
building blocks
design principles
database systems
query processing