- eventually - design - create (thud server) module - make (thud face) into (thud client) - encapsulate blk - clean up exception model - documentation - revise per rms input - improve depth and clarity - testing - hook thgen into SLED and lambda-RTL (what a great name!) - encapsulate sim object - allow blk-local definitions - functions - paramters (e.g., bit-width) - use keyword syntax instead of (SLOT VAL) syntax - clean up subsystems - vcd output - compilation - gschem input - verilog input