The CALLAS synthesis system and its application to mechatronic ASIC design problems | IEEE Conference Publication | IEEE Xplore