Open AccessSpecification and Proof of High-Level Functional Properties of Bit-Level Programs
Author(s) -
Clément Fumex,
Claire Dross,
Jens Gerlach,
Claude Marché
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , bit (key) , programming language , high level synthesis , theoretical computer science , embedded system , computer security , 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