18 results on '"Wiersema, Tobias"'
Search Results
2. Timing Optimization for Virtual FPGA Configurations
3. Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan
4. Timing Optimization for Virtual FPGA Configurations
5. CIRCA: Towards a modular and extensible framework for approximate circuit generation
6. On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach
7. Integrating Software and Hardware Verification
8. Search space characterization for approximate logic synthesis
9. MUSCAT: MUS-based Circuit Approximation Technique
10. Malicious Routing: Circumventing Bitstream-level Verification for FPGAs
11. Software/Hardware Co-Verification for Custom Instruction Set Processors
12. Proof-Carrying Approximate Circuits
13. Proof-Carrying Hardware via Inductive Invariants
14. An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip
15. Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware
16. Memory security in reconfigurable computers: Combining formal verification with monitoring
17. Embedding FPGA overlays into configurable Systems-on-Chip: ReconOS meets ZUMA
18. Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.