Open AccessCONLAN-a formal construction method for hardware description languages: language derivation
Author(s) -
Robert Piloty,
Mario R. Barbacci,
D. Borrione,
D.L. Dietmeyer,
Frederick J. Hill,
Patrick Skelly
Publication year - 1980
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , programming language , formal language , formal methods , hardware description language , object language , formal verification , natural language processing , computer hardware , natural language , field programmable gate array