An Approach to Formalization of Data Flow Graphs. - Per Bojsen (CHARME, 1993)

AMD64 Processor Front-End Verification (at Unit-Level Testbench) with Instruction Set Simulator. - Kana Murale; Scot Hildebrandt; Per Bojsen; Alfonso Urzua (MTV, 2008)

Understanding the Accellera SCE-MI Transaction Pipes. - John Stickley; Deepak Kumar Garg; Brian Bailey; Jaekwang Lee; Amy Lim; Per Bojsen; Ramesh Chandra; Ajeya Prabhakar (IEEE Des. Test Comput., 2012)