See the top comments section for a list of known serials: http://git.redump.net/mame/tree/src/mess/drivers/hh_tms1k.c

Yes, it's very likely that S.Simon has a TMS1100 and BB2 a TMS1000.