foss-eda-tools / skywater-pdk / libs / sky130_fd_sc_hs / d554433175c16c865e7963b304ae94a8ad9bbc29 / . / cells / o31ai / sky130_fd_sc_hs__o31ai.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 -=> Y) = (0:0:0,0:0:0); | |

(A2 -=> Y) = (0:0:0,0:0:0); | |

(A3 -=> Y) = (0:0:0,0:0:0); | |

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

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

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

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

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

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

if ((A1&A2&A3)) (B1 -=> Y) = (0:0:0,0:0:0); | |

endspecify |