A configurable test infrastructure using a mixed-language and mixed-level IP integration IP-XACT flow. - Erwin de Kock; Jos Verhaegh; Serge Amougou (CODES+ISSS, 2012)

Modeling and Analysis Technique for the Formal Verification of System-on-Chip Address Maps: Extended Abstract. - Niels Mook; Erwin de Kock; Bas Arts; Soham Chakraborty 001; Arie van Deursen (DATE, 2025)