logic_synthesis/chapter_03: add test bench