this is something that hardware verification languages like specman-e and systemverilog have been doing for decades