SyntHorus-2: Automatic prototyping from PSL | IEEE Conference Publication | IEEE Xplore