The development of the NSXLIB standard cell scalable library

From F-Si wiki
Revision as of 16:46, 16 July 2019 by Admin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
  • Speaker: Pr. Naohiko Shimizu
  • email: Naohiko Shimizu <>
  • other information:



I will talk on Development of nsxlib cell library.

It is compatible with Phenitec 0.6um, MOSIS DEEP (0.18um), FreePDK45 technology. Also I'm planning it to adapt Phenitec 0.35um in near future.

The nsxlib is deeply modified version of sxlib of Alliance. I changed defaul lambda unit interpretation and each cell design. I introduced a new verification method for cell design. The development and adaptation method to new technology will be presented. The outline of the talk will be followings:

  1. Semi automatic modification of basic lambda from sxlib.
  2. DRC rules description
  3. Formal proof flow was established for this development with co-operation with Jean-Paul Chaput (LIP6).
    1. Extract spice net-list from layout with cougar (Alliance tool).
    2. Spice to VHDL behavior extraction with yagle (ALliance related tool)
    3. Formal proof with proof (Alliance tool)
  4. Adaptation trial to FreePDK45

It passed FreePDK45 DRC with my druc rule set. I will make more concrete DRC rule set soon. (Wide metal rules are a little difficult to describe)


General information

  • Repository: on-going work
  • Main documentation website: on-going
  • The software has been used in the following projects: MakeLSI:Project, MinimalFab


  • The software wishes to interface with the following tools: Alliance, Coriolis, Oceane
  • The project seeks help on: English translation of Oceane documentation, English rule description within Alliance


  • J.Akita,“OpenSourceLSIdesign&FabricationProjectforDistributed IP Development,” in International Conference on Analog VLSI Circuits, (AVIC), 2016.
  • N. Shimizu, J. Akita, M.‑M. Louërat, Haralampos‑G. Stratigopoulos, J.‑P. Chaput, D. Galayko : “Open Source Hardware and EDA Tools for Analog/Mixed-Signal Design and Prototyping”, 2018 IEEE International Symposium on Circuits and Systems (ISCAS), Florence, Italy, (IEEE) (2018)