"Pey-Chang Kent Lin," Logic Synthesis for Genetic Diseases - Wiesbaden Springer 2014 ISBN: 9781461494287 Subjects--Topical Terms: ETC_ELECTRONICS