Designing FPGA-Based Mealy FSMs with Two Levels of Logic.
Alexander BarkalovLarysa TitarenkoKamil MielcarekPublished in: MOCAST (2019)
Keyphrases
- finite state machines
- levels of abstraction
- proof theory
- modal logic
- database
- logic programming
- application specific
- automated reasoning
- nonmonotonic logics
- abstraction levels
- computational properties
- hardware design
- hardware software partitioning
- asynchronous circuits
- defeasible logic
- classical logic
- high levels
- image processing
- artificial intelligence