Programmable Logic/Switch-Level Descriptions