Open AccessCONLAN-a formal construction method for hardware description languages: language derivation
Author(s) -
Robert Piloty,
Mario R. Barbacci,
D. Borrione,
D.L. Dietmeyer,
F.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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom