<mkk_>
We are currently planning a tapeout on sky130nm, and need a consultant to help us tapeout. Ideally this person should have done tapeout on skywater 130nm using open source eda tools. We are willing to compensate for this.
<mkk_>
This work proposes an alternative hardware design approach that allows the detection of arithmetic overflows at the specification level. The established hardware design approach describes infinite integer types at that level while the model describes finite types. This opens a semantic gap between both levels, which means that arithmetic overflows cannot be detected at the specification level. To address this problem the CompCer
<mkk_>
Abstract
<mkk_>
Authors: Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler