This technical report is a collection of the memos written by members of the VLSI Research Group in 2004 and 2005 about Electric's1 Network Consistency Checker, NCC. Be warned that these memos are unrefined design notes, not polished papers. For the most part, these memos were written to help us think through problems; as such, they may contain errors and conjectures that have not been fully proven. Despite that, we've created this report so that we can share our ideas and collaborate with people outside of Sun.
1The Electric VLSI Design System is an open source electronic design automation system used by the VLSI Research Group to create layout and schematics for integrated circuits.