start with a framework for logic simulation...