Login / Signup
Sen Wu
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Hardware Designs
Digital Image Processing
Formal Proof
Reconfigurable Architecture
Top Venues
ARC
</>
Publications
</>
Tobias Wiersema
,
Sen Wu
,
Marco Platzner
On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.
ARC
(2015)