MAX+plus II is a GUI based PLD design program. It can also be used to simplify Boolean expressions and simulate digital logic designs.
Comparison of MAX+plus II and PLDshell Plus
MAX+plus II Combination Design Notes
MAX+plus II Sequential Design Notes
MAX+plus II Simulation and Test Notes
MAX+plus II Device Programming Notes
Miscellaneous MAX+plus II Notes
Sequential Machine Design Example
Sequential Machine Simulation Example
Sequential Machine Test Example