276 lines
9.6 KiB
C++
276 lines
9.6 KiB
C++
// OpenSTA, Static Timing Analyzer
|
|
// Copyright (c) 2025, Parallax Software, Inc.
|
|
//
|
|
// This program is free software: you can redistribute it and/or modify
|
|
// it under the terms of the GNU General Public License as published by
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
// (at your option) any later version.
|
|
//
|
|
// This program is distributed in the hope that it will be useful,
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
// GNU General Public License for more details.
|
|
//
|
|
// You should have received a copy of the GNU General Public License
|
|
// along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
//
|
|
// The origin of this software must not be misrepresented; you must not
|
|
// claim that you wrote the original software.
|
|
//
|
|
// Altered source versions must be plainly marked as such, and must not be
|
|
// misrepresented as being the original software.
|
|
//
|
|
// This notice may not be removed or altered from any source distribution.
|
|
|
|
#pragma once
|
|
|
|
#include "Zlib.hh"
|
|
#include "NetworkClass.hh"
|
|
#include "GraphClass.hh"
|
|
#include "Sdc.hh"
|
|
|
|
namespace sta {
|
|
|
|
class WriteSdcObject;
|
|
|
|
class WriteSdc : public StaState
|
|
{
|
|
public:
|
|
WriteSdc(Instance *instance,
|
|
const char *creator,
|
|
bool map_hpins,
|
|
bool native,
|
|
int digits,
|
|
bool no_timestamp,
|
|
Sdc *sdc);
|
|
virtual ~WriteSdc();
|
|
void write(const char *filename,
|
|
bool gzip);
|
|
|
|
void openFile(const char *filename,
|
|
bool gzip);
|
|
void closeFile();
|
|
virtual void writeHeader() const;
|
|
void writeTiming() const;
|
|
void writeDisables() const;
|
|
void writeDisabledCells() const;
|
|
void writeDisabledPorts() const;
|
|
void writeDisabledLibPorts() const;
|
|
void writeDisabledInstances() const;
|
|
void writeDisabledPins() const;
|
|
void writeDisabledEdges() const;
|
|
void writeDisabledEdge(Edge *edge) const;
|
|
void findMatchingEdges(Edge *edge,
|
|
EdgeSet &matches) const;
|
|
bool edgeSenseIsUnique(Edge *edge,
|
|
EdgeSet &matches) const;
|
|
void writeDisabledEdgeSense(Edge *edge) const;
|
|
void writeClocks() const;
|
|
void writeClock(Clock *clk) const;
|
|
void writeGeneratedClock(Clock *clk) const;
|
|
void writeClockPins(const Clock *clk) const;
|
|
void writeFloatSeq(FloatSeq *floats,
|
|
float scale) const;
|
|
void writeIntSeq(IntSeq *ints) const;
|
|
void writeClockSlews(const Clock *clk) const;
|
|
void writeClockUncertainty(const Clock *clk) const;
|
|
void writeClockUncertainty(const Clock *clk,
|
|
const char *setup_hold,
|
|
float value) const;
|
|
void writeClockUncertaintyPins() const;
|
|
void writeClockUncertaintyPin(const Pin *pin,
|
|
ClockUncertainties *uncertainties) const;
|
|
void writeClockUncertaintyPin(const Pin *pin,
|
|
const char *setup_hold,
|
|
float value) const;
|
|
void writeClockLatencies() const;
|
|
void writeClockInsertions() const;
|
|
void writeClockInsertion(ClockInsertion *insert,
|
|
WriteSdcObject &write_obj) const;
|
|
void writeInterClockUncertainties() const;
|
|
void writeInterClockUncertainty(InterClockUncertainty *uncertainty) const;
|
|
void writePropagatedClkPins() const;
|
|
void writeInputDelays() const;
|
|
void writeOutputDelays() const;
|
|
void writePortDelay(PortDelay *port_delay,
|
|
bool is_input_delay,
|
|
const char *sdc_cmd) const;
|
|
void writePortDelay(PortDelay *port_delay,
|
|
bool is_input_delay,
|
|
float delay,
|
|
const RiseFallBoth *rf,
|
|
const MinMaxAll *min_max,
|
|
const char *sdc_cmd) const;
|
|
void writeClockSenses() const;
|
|
void writeClockSense(PinClockPair &pin_clk,
|
|
ClockSense sense) const;
|
|
void writeClockGroups() const;
|
|
void writeClockGroups(ClockGroups *clk_groups) const;
|
|
void writeExceptions() const;
|
|
void writeException(ExceptionPath *exception) const;
|
|
void writeExceptionCmd(ExceptionPath *exception) const;
|
|
void writeExceptionValue(ExceptionPath *exception) const;
|
|
void writeExceptionFrom(ExceptionFrom *from) const;
|
|
void writeExceptionTo(ExceptionTo *to) const;
|
|
void writeExceptionFromTo(ExceptionFromTo *from_to,
|
|
const char *from_to_key,
|
|
bool map_hpin_to_drvr) const;
|
|
void writeExceptionThru(ExceptionThru *thru) const;
|
|
void mapThruHpins(ExceptionThru *thru,
|
|
PinSeq &pins) const;
|
|
void writeDataChecks() const;
|
|
void writeDataCheck(DataCheck *check) const;
|
|
void writeDataCheck(DataCheck *check,
|
|
const RiseFallBoth *from_rf,
|
|
const RiseFallBoth *to_rf,
|
|
const SetupHold *setup_hold,
|
|
float margin) const;
|
|
void writeEnvironment() const;
|
|
void writeOperatingConditions() const;
|
|
void writeWireload() const;
|
|
virtual void writeNetLoads() const;
|
|
void writeNetLoad(const Net *net,
|
|
const MinMaxAll *min_max,
|
|
float cap) const;
|
|
void writePortLoads() const;
|
|
void writePortLoads(const Port *port) const;
|
|
void writePortFanout(const Port *port) const;
|
|
void writeDriveResistances() const;
|
|
void writeDrivingCells() const;
|
|
void writeInputTransitions() const;
|
|
void writeDrivingCell(Port *port,
|
|
InputDriveCell *drive_cell,
|
|
const RiseFall *rf,
|
|
const MinMax *min_max) const;
|
|
void writeConstants() const;
|
|
virtual void writeConstant(const Pin *pin) const;
|
|
const char *setConstantCmd(const Pin *pin) const;
|
|
void writeCaseAnalysis() const;
|
|
virtual void writeCaseAnalysis(const Pin *pin) const;
|
|
const char *caseAnalysisValueStr(const Pin *pin) const;
|
|
void sortedLogicValuePins(LogicValueMap &value_map,
|
|
PinSeq &pins) const;
|
|
void writeNetResistances() const;
|
|
void writeNetResistance(const Net *net,
|
|
const MinMaxAll *min_max,
|
|
float res) const;
|
|
void writeDesignRules() const;
|
|
void writeMinPulseWidths() const;
|
|
void writeMinPulseWidths(RiseFallValues *min_widths,
|
|
WriteSdcObject &write_obj) const;
|
|
void writeMinPulseWidth(const char *hi_low,
|
|
float value,
|
|
WriteSdcObject &write_obj) const;
|
|
void writeSlewLimits() const;
|
|
void writeCapLimits() const;
|
|
void writeCapLimits(const MinMax *min_max,
|
|
const char *cmd) const;
|
|
void writeMaxArea() const;
|
|
void writeFanoutLimits() const;
|
|
void writeFanoutLimits(const MinMax *min_max,
|
|
const char *cmd) const;
|
|
void writeLatchBorowLimits() const;
|
|
void writeDeratings() const;
|
|
void writeDerating(DeratingFactorsGlobal *factors) const;
|
|
void writeDerating(DeratingFactorsCell *factors,
|
|
WriteSdcObject *write_obj) const;
|
|
void writeDerating(DeratingFactors *factors,
|
|
TimingDerateType type,
|
|
const MinMax *early_late,
|
|
WriteSdcObject *write_obj) const;
|
|
void writeVoltages() const;
|
|
|
|
const char *pathName(const Pin *pin) const;
|
|
const char *pathName(const Net *net) const;
|
|
const char *pathName(const Instance *inst) const;
|
|
void writeCommentSection(const char *line) const;
|
|
void writeCommentSeparator() const;
|
|
|
|
void writeGetTimingArcsOfOjbects(const LibertyCell *cell) const;
|
|
void writeGetTimingArcs(Edge *edge) const;
|
|
void writeGetTimingArcs(Edge *edge,
|
|
const char *filter) const;
|
|
const char *getTimingArcsCmd() const;
|
|
void writeGetLibCell(const LibertyCell *cell) const;
|
|
void writeGetLibPin(const LibertyPort *port) const;
|
|
void writeGetClock(const Clock *clk) const;
|
|
void writeGetClocks(ClockSet *clks) const;
|
|
void writeGetClocks(ClockSet *clks,
|
|
bool multiple,
|
|
bool &first) const;
|
|
virtual void writeGetPort(const Port *port) const;
|
|
virtual void writeGetNet(const Net *net) const;
|
|
virtual void writeGetInstance(const Instance *inst) const;
|
|
virtual void writeGetPin(const Pin *pin) const;
|
|
void writeGetPin(const Pin *pin,
|
|
bool map_hpin_to_drvr) const;
|
|
void writeGetPins(const PinSet *pins,
|
|
bool map_hpin_to_drvr) const;
|
|
void writeGetPins1(PinSeq *pins) const;
|
|
void writeClockKey(const Clock *clk) const;
|
|
float scaleTime(float time) const;
|
|
float scaleCapacitance(float cap) const;
|
|
float scaleResistance(float res) const;
|
|
void writeFloat(float value) const;
|
|
void writeTime(float time) const;
|
|
void writeCapacitance(float cap) const;
|
|
void writeResistance(float res) const;
|
|
|
|
void writeClkSlewLimits() const;
|
|
void writeClkSlewLimit(const char *clk_data,
|
|
const char *rise_fall,
|
|
const Clock *clk,
|
|
float limit) const;
|
|
void writeRiseFallMinMaxTimeCmd(const char *sdc_cmd,
|
|
const RiseFallMinMax *values,
|
|
WriteSdcObject &write_object) const;
|
|
void writeRiseFallMinMaxCapCmd(const char *sdc_cmd,
|
|
const RiseFallMinMax *values,
|
|
WriteSdcObject &write_object) const;
|
|
void writeRiseFallMinMaxCmd(const char *sdc_cmd,
|
|
const RiseFallMinMax *values,
|
|
float scale,
|
|
WriteSdcObject &write_object) const;
|
|
void writeRiseFallMinMaxCmd(const char *sdc_cmd,
|
|
float value,
|
|
float scale,
|
|
const RiseFallBoth *rf,
|
|
const MinMaxAll *min_max,
|
|
WriteSdcObject &write_object) const;
|
|
void writeMinMaxFloatValuesCmd(const char *sdc_cmd,
|
|
MinMaxFloatValues *values,
|
|
float scale,
|
|
WriteSdcObject &write_object) const;
|
|
void writeMinMaxFloatCmd(const char *sdc_cmd,
|
|
float value,
|
|
float scale,
|
|
const MinMaxAll *min_max,
|
|
WriteSdcObject &write_object) const;
|
|
void writeMinMaxIntValuesCmd(const char *sdc_cmd,
|
|
MinMaxIntValues *values,
|
|
WriteSdcObject &write_object) const;
|
|
void writeMinMaxIntCmd(const char *sdc_cmd,
|
|
int value,
|
|
const MinMaxAll *min_max,
|
|
WriteSdcObject &write_object) const;
|
|
void writeSetupHoldFlag(const MinMaxAll *min_max) const;
|
|
void writeVariables() const;
|
|
void writeCmdComment(SdcCmdComment *cmd) const;
|
|
|
|
gzFile stream() const { return stream_; }
|
|
|
|
protected:
|
|
Instance *instance_;
|
|
const char *creator_;
|
|
bool map_hpins_;
|
|
bool native_;
|
|
int digits_;
|
|
bool no_timestamp_;
|
|
bool top_instance_;
|
|
size_t instance_name_length_;
|
|
Cell *cell_;
|
|
gzFile stream_;
|
|
};
|
|
|
|
} // namespace
|