foss-eda-tools / skywater-pdk / libs / sky130_fd_sc_ls / d718a1c2b5ea5c0e2d3dd5192681f2a1e7e74c3f / . / cells / a31o / sky130_fd_sc_ls__a31o.specify.v

/* | |

* Copyright 2020 The SkyWater PDK Authors | |

* | |

* Licensed under the Apache License, Version 2.0 (the "License"); | |

* you may not use this file except in compliance with the License. | |

* You may obtain a copy of the License at | |

* | |

* https://www.apache.org/licenses/LICENSE-2.0 | |

* | |

* Unless required by applicable law or agreed to in writing, software | |

* distributed under the License is distributed on an "AS IS" BASIS, | |

* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |

* See the License for the specific language governing permissions and | |

* limitations under the License. | |

* | |

* SPDX-License-Identifier: Apache-2.0 | |

*/ | |

specify | |

(A1 +=> X) = (0:0:0,0:0:0); | |

(A2 +=> X) = (0:0:0,0:0:0); | |

(A3 +=> X) = (0:0:0,0:0:0); | |

if ((!A1&!A2&!A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((!A1&!A2&A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((!A1&A2&!A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((!A1&A2&A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((A1&!A2&!A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((A1&!A2&A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

if ((A1&A2&!A3)) (B1 +=> X) = (0:0:0,0:0:0); | |

endspecify |