Marc Boulé
Professeur enseignant
Département
Département des enseignements généraux
Formation
B.Ing. (ÉTS), M.Ing., Ph.D. (McGill)
Bureau
B-2560
Courriel
Expertises
- Électricité et magnétisme
- Physique des ondes
- Programmation
Publications
- Jean-Samuel Chenard, Stephan Bourduas, Nathaniel Azuelos, Marc Boulé, Zeljko Zilic. 2007 « Hardware assertion checkers in on-line detection of faults in a hierarchical-ring network-on-chip ». Affiche présentée lors de la conférence : Design, Automation and Test in Europe Conference (DATE 2007) (Nice, France, Apr. 16-20, 2007)
- Marc Boulé, Zeljko Zilic. 2005 « Incorporating efficient assertion checkers into hardware emulation ». Affiche présentée lors de la conférence : TEXPO 2005 (Ottawa, ON, Canada, Oct. 2005)
- Marc Boulé, Zeljko Zilic. 2003 « FPGA hardware acceleration: From chess playing to automated theorem proving ». Affiche présentée lors de la conférence : Micronet 2003 (Toronto, ON, Canada, Sept. 2003)
- Marc Boulé, Zeljko Zilic. 2002 « An FPGA move generator for the game of chess ». Affiche présentée lors de la conférence : TEXPO 2002 (Ottawa, ON, Canada, June 2002)
- Marc Boulé, Atanu Chattopadhyay, Man-wah Chiang, Stuart McCracken, Zeljko Zilic. 2001 « Overview of MCSoC2: A second generation managed clock system on chip ». Affiche présentée lors de la conférence : TEXPO 2001 (Ottawa, ON, Canada, June 2001)
- Marc Boulé. 2024 « DC power transported by two infinite parallel wires ». American Journal of Physics vol. 92 , nº 1. p. 14-22
- Jason G. Tong, Marc Boulé, Zeljko Zilic. 2013 « Test compaction techniques for assertion-based test generation ». ACM Transactions on Design Automation of Electronic Systems vol. 19 , nº 1
- Katell Morin-Allory, Marc Boulé, Dominique Borrione, Zeljko Zilic. 2010 « Validating assertion language rewrite rules and semantics with automated theorem provers ». IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems vol. 29 , nº 9. p. 1436-1448
- Jason G. Tong, Marc Boulé, Zeljko Zilic. 2010 « Defining and providing coverage for assertion-based dynamic verification ». Journal of Electronic Testing: Theory and Applications (JETTA) vol. 26 , nº 2. p. 211-225
- Marc Boulé, Zeljko Zilic. 2008 « Automata-based assertion-checker synthesis of PSL properties ». ACM Transactions on Design Automation of Electronic Systems vol. 13 , nº 1
- M. Boulé, J. S. Chenard, Z. Zilic. 2007 « Debug enhancements in assertion-checker generation ». IET Computers and Digital Techniques vol. 1 , nº 6. p. 669-677
- Marc Boulé, Zeljko Zilic. 2002 « An FPGA move generator for the game of chess ». Journal of International Computer Games Association vol. 25 , nº 2. p. 85-94
- Marc Boulé, Zeljko Zilic. 2011-09-20 « Automata unit, a tool for designing checker circuitry and a method of manufacturing hardware circuitry incorporating checker circuitry ».
- Marc Boulé. 2008 « L'outil MBAC et la synthèse de circuits vérificateurs d’assertions ». Communication lors de la conférence : Laboratoire TIMA-VDS, Institut National Polytechnique de Grenoble (Grenoble, France, Fév. 2008)
- Marc Boulé, Zeljko Zilic. 2005 « Incorporating efficient assertion checkers into hardware emulation ». Communication lors de la conférence : Séminaire ReSMiQ 2005 (Montréal, QC, Canada, Sept. 2005)
- Marc Boulé, Zeljko Zilic. 2003 « FPGA hardware acceleration: From chess playing to automated theorem proving ». Communication lors de la conférence : Micronet 2003 (Toronto, ON, Canada, Sept. 2003)
- Marc Boulé, Atanu Chattopadhyay, Man-wah Chiang, Stuart McCracken, Zeljko Zilic. 2001 « Overview of MCSoC2: A second generation managed clock system on chip ». Communication lors de la conférence : TEXPO 2001 (Ottawa, ON, Canada, June 2001)
- Jason G. Tong, Marc Boulé, Zeljko Zilic. 2016 « Accelerating assertion assessment using GPUs ».
- Marc Boulé. 2014 « The role of Finite Element Method software in the teaching of electromagnetics ».
- J. G. Tong, Marc Boulé, Z. Zilic. 2013 « Efficient Data Encoding for Improving Fault Simulation Performance on GPUs ».
- J. G. Tong, Marc Boulé, Z. Zilic. 2013 « Mu-GSIM: A mutation testing simulator on GPUs ».
- Jason G. Tong, Marc Boulé, Zeljko Zilic. 2012 « Assertion clustering for compacted test sequence generation ».
- Jason G. Tong, Danny Sarraf, Marc Boulé, Zeljko Zilic. 2011 « Generating compact assertions for control-based logic signals ».
- Yann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boulé, Zeljko Zilic. 2009 « MYGEN : AAA Automata-based on-line test generator for assertion-based verification ».
- Jason G. Tong, Marc Boulé, Zeljko Zilic. 2009 « Airwolf-TG: A test generator for assertion-based dynamic verification ».
- Marc Boulé, Zeljko Zilic. 2008 « Assertion checkers - Enablers of quality design ».
- Katell Morin-Allory, Marc Boulé, Dominique Borrione, Zeljko Zilic. 2008 « Proving and disproving assertion rewrite rules with automated theorem provers ».
- Marc Boulé, Jean-Samuel Chenard, Zeljko Zilic. 2007 « Assertion checkers in verification, silicon debug and in-field diagnosis ».
- Marc Boulé, Zeljko Zilic. 2007 « Efficient automata-based assertion-checker synthesis of SEREs for hardware emulation ».
- Marc Boulé, Jean-Samuel Chenard, Zeljko Zilic. 2006 « Adding debug enhancements to assertion checkers for hardware emulation and silicon debug ».
- Marc Boulé, Zeljko Zilic. 2006 « Efficient automata-based assertion-checker synthesis of PSL properties ».
- Marc Boulé, Zeljko Zilic. 2005 « Incorporating efficient assertion checkers into hardware emulation ».
- M. Boulé, Z. Zilic. 2002 « An FPGA based move generator for the game of chess ».
- André St-Amand, Marc Boulé. 2016 « Physique des ondes ». Montréal : Presses de l'Université du Québec. 432 p.
- Marc Boulé, Zeljko Zilic. 2008 « Generating hardware assertion checkers: For hardware verification, emulation, post-fabrication debugging and on-line monitoring ». Springer. 279 p.
- Marc Boulé. 2008 « Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring ». 238 p.Thèse de doctorat. Montréal, McGill.
- Marc Boulé. 2002 « An FPGA move generator for the game of chess ». 115 p.Mémoire de maîtrise. Montréal, McGill.