1. Apple. Small Chip. Giant Leap (Apple Inc., 2020)
2. E. Barke, D. Grabowski, H. Graeb, L. Hedrich, S. Heinen, R. Popp, S. Steinhorst, Y. Wang, Formal approaches to analog circuit verification, in 2009 Design, Automation & Test in Europe Conference & Exhibition (IEEE, Piscataway, 2009), pp. 724–729
3. M. Barnasconi, SystemC AMS extensions: solving the need for speed (2010)
4. M. Barnasconi, K. Einwich, C. Grimm, T. Maehne, A. Vachoux, Advancing the SystemC analog/mixed-signal (AMS) extensions. Open SystemC Initiative (2011)
5. M. Barnasconi, K. Einwich, C. Grimm, T. Maehne, A. Vachoux, et al., Standard SystemC AMS extensions 2.0 language reference manual. Accellera Systems Initiative (2013)