It appears that the particular variety of extended ASCII that I want is actually called Code Page 437 as opposed to the more popular ISO 8859-1. The reason I wasn't seeing the right characters in OS X ...

Most people who want to simulate logic ICs will use Verilog, VHDL, or System Verilog. Not [hsoft]. He wanted to use Python, and wrote a simple Python framework for doing just that. You can find the ...