VAMPyRE: The Verilog-A Model Pythonic Rule Enforcer

This article presents VAMPyRE, a tool developed to improve compact model formulations for models written in Verilog-A, which has become the de facto standard language for compact models. The tool checks for various coding mistakes and flags the use of language features that are not appropriate for compact models. Previous work provided recommendations of best practices, and this tool checks many of those recommendations by directly analyzing the model code.