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