![]() | Monter d'un niveau |
Zaki, M. H., Tahar, S., & Bois, G. (2008). Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39(12), 1395-1404. Lien externe
Fontaine, S., Filion, L., & Bois, G. (septembre 2008). Exploring ISS abstractions for embedded software design [Communication écrite]. 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD 2008). Lien externe
Fontaine, S., Goyette, S., Langlois, J. M. P., & Bois, G. (octobre 2008). Acceleration of a 3D target tracking algorithm using an application specific instruction set processor [Communication écrite]. IEEE International Conference on Computer Design (ICCD 2008). Lien externe
Moss, L., Cantin, M.-A., Bois, G., & Mostapha Aboulhamid, E. (juin 2008). Automation of communication refinement and hardware synthesis within a system-level design methodology [Communication écrite]. 19th IEEE/IFIP International Symposium on Rapid System Prototyping. Lien externe