Profiling Tools for FPGA-Based Embedded Systems: Survey and Quantitative Comparison. - Jason G. Tong; Mohammed A. S. Khalid (J. Comput., 2008)

Airwolf-TG: A test generator for assertion-based dynamic verification. - Jason G. Tong; Marc Boule; Zeljko Zilic (HLDVT, 2009)

Defining and Providing Coverage for Assertion-Based Dynamic Verification. - Jason G. Tong; Marc Boule; Zeljko Zilic (J. Electron. Test., 2010)

Assertion clustering for compacted test sequence generation. - Jason G. Tong; Marc Bottle; Zeljko Zilic (ISQED, 2012)

Efficient Data Encoding for Improving Fault Simulation Performance on GPUs. - Jason G. Tong; Marc Boule; Zeljko Zilic (ISED, 2013)

Test compaction techniques for assertion-based test generation. - Jason G. Tong; Marc Boule; Zeljko Zilic (ACM Trans. Design Autom. Electr. Syst., 2013)

Accelerating assertion assessment using GPUs. - Jason G. Tong; Marc Boule; Zeljko Zilic (HLDVT, 2016)