Browsing by Subject "VHDL"
Now showing items 1-4 of 4
(2010-05)This work presents the prototype design of a secure microprocessor that executes encrypted programs. The aim of such a secure processor is to prevent programs from being copied; otherwise the encrypted programs will not ...
(IEEE, 2015-09)VHDL programs are often validated by means of test benches constructed from formal system specification. To include real-time properties of VHDL programs, the proposed approach first transforms them to concurrently running ...
(IEEE, 2010-07)VHDL programs are often tested by means of simulations, relying on test benches written intuitively. In this paper, we propose a formal approach to construct test benches from system specification. To consider the real-time ...
(2016-12-02)This report presents the transformation of behavioral VHDL programs to Timed Automata.