TimingDesigner is the original and best timing diagram analysis package.
Use TimingDesigner before capturing your schematic to define interfaces and to play 'what-if' with min/max timing and clocks.
USB dongle Node-locked licence for Windows.12 months support and maintenance updates are required for the first year.