Architectural Synthesis Techniques for Dynamically Reconfigurable Logic.
Milan VasilkoDjamel Ait-BoudaoudPublished in: FPL (1996)
Keyphrases
- logic synthesis
- software architecture
- modal logic
- program synthesis
- functional programs
- neural network
- architectural design
- social networks
- high level
- asynchronous circuits
- predicate logic
- classical logic
- computational properties
- sound and complete axiomatization
- design solutions
- digital circuits
- set theory
- multi valued
- automated reasoning
- probability theory
- logic programming
- distributed systems
- description logics
- artificial intelligence