- E. Hung, T. Todman and W. Luk,
Transparent in-circuit assertions for FPGAs,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,
vol. 36, no. 7, 1193-1202, July 2017.
- T. Todman and W. Luk,
In-circuit assertions and exceptions for reconfigurable hardware design,
Provably Correct Systems, NASA Monographs in Systems and Software Engineering book series, pp. 265-281, 2017.
- T. Todman, S. Stilkerich and W. Luk,
In-circuit temporal monitors for runtime verification of
reconfigurable designs,
Design Automation Conference, 2015.
- T. Todman, S. Stilkerich and W. Luk,
Using statistical assertions to guide self-adaptive systems,
International Journal of Reconfigurable Computing,
pp. 1-8, 2014.
- E. Hung, T. Todman and W. Luk,
Transparent insertion of latency-oblivious logic onto FPGAs,
International Conference on Field Programmable Logic and Applications, 2014 (Stamatis Vassiliadis Best Paper Award).
- T. Todman and W. Luk,
Runtime assertions and exceptions for streaming systems,
International Conference on Field Programmable Technology and Applications, 2013.
|
|
|