The demonstration presents a set of applications for an open source HW design framework zamiaCAD. zamiaCAD is a framework for design entry, navigation and analysis based on a very scalable model supporting very large industrial designs. The applications include static analysis, simulation, automated debug of design errors and more.