We describe the language and features of <italic>Silc</italic><supscrpt>TM</supscrpt>, a new silicon compiler. Silc<supscrpt>TM</supscrpt> takes an algorithmic description of a circuit, performs logic synthesis, optimization, and physical layout synthesis, and produces a mask-level description. Special features of the compiler include multiple data path… (More)
Present VLSI synthesis programs typically characterized as silicon compilers employ a predefined floorplan and fixed placement of functional elements. Significant broadening of the areas of application and more effective utilization of silicon space can be obtained by using a general placement of functionally clustered elements rather than a fixed… (More)
This paper establishes conditions under which one can prove an Atiyah–Patodi–Singer index theorem for perturbed Dirac operators on complete noncompact even-dimensional manifolds with boundary. This index theorem introduces into index theory spectral invariants of self-adjoint perturbed Dirac operators on noncompact manifolds.