Synthesis of Finite State Machines with Magnetic Domain Wall Logic.
Jacques-Olivier KleinEric BelhaireClaude ChappertFlorent OuchetRussell CowburnDan ReadDorothee PetitPublished in: ISCAS (2007)
Keyphrases
- finite state machines
- state machine
- digital circuits
- model checking
- finite state automata
- domain specific
- hidden markov models
- magnetic field
- functional decomposition
- modal logic
- domain independent
- logic synthesis
- random access memory
- database
- classical logic
- logic programming
- program synthesis
- object oriented
- database systems