NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I.
Nagisa IshiuraHiroto YasuuraShuzo YajimaPublished in: DAC (1990)
Keyphrases
- formal semantics
- hardware design
- behavioral model
- logical language
- formal language
- operational semantics
- modelling language
- modeling language
- speech acts
- hardware implementation
- fpga hardware
- behavior analysis
- first order logic
- cognitive model
- owl dl ontology
- information systems
- theorem prover
- field programmable gate array
- learning process
- case study
- real time