Event driven mixed signal modeling techniques for System-in-Package functional verification | IEEE Conference Publication | IEEE Xplore