IEEE VHDL 1076.1: mixed-signal behavioral modeling and verification in view of automotive applications | IEEE Conference Publication | IEEE Xplore