Temporal Logic Based Hardware Description and Its Verification with Prolog.
Masahiro FujitaHidehiko TanakaTohru Moto-OkaPublished in: New Gener. Comput. (1983)
Keyphrases
- knowledge representation
- low cost
- hardware designs
- hardware and software
- temporal information
- high level
- model checking
- spatio temporal
- real time
- temporal data
- computing systems
- spatial and temporal
- programming language
- logic programming
- hardware implementation
- computer systems
- expert systems
- image processing
- knowledge base
- temporal databases
- computing power
- temporal evolution
- temporal patterns
- functional verification
- temporal reasoning
- artificial intelligence
- embedded systems
- temporal relations
- information systems
- prolog programs
- asynchronous circuits
- logic programming language
- temporal analysis
- formal verification
- database systems
- data model
- formal methods
- face verification
- massively parallel
- general purpose
- inference engine
- space time
- data acquisition