Institute of Electrical & Electronic Engineers
The authors present an approach to verifying the co-design of software and hardware. Their approach verifies that a reference design, perhaps a straightforward software implementation, is equivalent to a design combining software and reconfigurable hardware, possibly using runtime reconfiguration. Their approach combines symbolic simulation with equivalence checking to compare symbolic output expressions. Whilst their implementation uses C-style software and streaming hardware based on Maxeler designs, their approach is modular and could generalize to other software or hardware inputs.