Login / Signup
Using the Language Lustre for Sequential Circuit Verification.
Ghislaine Thuau
Bachir Berkane
Published in:
Designing Correct Circuits (1992)
Keyphrases
</>
natural language
high speed
language learning
programming language
model checking
language processing
operational semantics
neural network
face recognition
expert systems
face verification
object oriented programming
computational linguistics
analog circuits
verification method
electronic circuits