mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-19 10:52:03 +00:00
Code Activity

Add liberty json parsing to stats command

Browse source
This commit is contained in:
Alain Dargelas 2024-11-18 11:16:14 -08:00
parent f210ae81a6
commit 62958591c4
2 changed files with 24838 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

24751
libs/nlohmann_json/json.hpp Normal file
View file

File diff suppressed because it is too large Load diff

87
passes/cmds/stat.cc
View file

@ -24,6 +24,7 @@
#include "passes/techmap/libparse.h" #include "passes/techmap/libparse.h"
#include "kernel/cost.h" #include "kernel/cost.h"
#include "libs/json11/json11.hpp" #include "libs/json11/json11.hpp"
#include "libs/nlohmann_json/json.hpp"
#ifdef YOSYS_ENABLE_ZLIB #ifdef YOSYS_ENABLE_ZLIB
#include <zlib.h> #include <zlib.h>
@ -462,6 +463,83 @@ void read_liberty_cellarea(dict<IdString, cell_area_t> &cell_area, string libert
} }
} }
void read_libjson_cellarea(dict<IdString, cell_area_t> &cell_area, string liberty_file)
{
std::istream *f;
std::ifstream *ff = new std::ifstream;
ff->open(liberty_file.c_str(), (liberty_file.substr(liberty_file.size() - 3) == ".gz") ? std::ifstream::binary : std::ifstream::in);
yosys_input_files.insert(liberty_file);
if (ff->fail()) {
delete ff;
ff = nullptr;
}
f = ff;
if (f != NULL) {
// Check for gzip magic
unsigned char magic[3];
int n = 0;
while (n < 3)
{
int c = ff->get();
if (c != EOF) {
magic[n] = (unsigned char) c;
}
n++;
}
if (n == 3 && magic[0] == 0x1f && magic[1] == 0x8b) {
#ifdef YOSYS_ENABLE_ZLIB
// log("Found gzip magic in file `%s', decompressing using zlib.\n", liberty_file.c_str());
if (magic[2] != 8)
log_cmd_error("gzip file `%s' uses unsupported compression type %02x\n",
liberty_file.c_str(), unsigned(magic[2]));
delete ff;
std::stringstream *df = new std::stringstream();
decompress_gzip(liberty_file, *df);
f = df;
#else
log_cmd_error("File `%s' is a gzip file, but Yosys is compiled without zlib.\n", liberty_file.c_str());
#endif
} else {
ff->clear();
ff->seekg(0, std::ios::beg);
}
}
if (f == NULL)
log_cmd_error("Can't open input file `%s' for reading: %s\n", liberty_file.c_str(), strerror(errno));
nlohmann::json data = nlohmann::json::parse(*f);
nlohmann::json library = data["library"];
if (library.contains("groups")) {
nlohmann::json groups = library["groups"];
for (nlohmann::json::iterator it = groups.begin(); it != groups.end(); ++it) {
nlohmann::json group = it.value();
if (group.contains("cell")) {
nlohmann::json cell = group["cell"];
if (cell.contains("names")) {
nlohmann::json names = cell["names"];
names = names[0];
if (cell.contains("area")) {
nlohmann::json area = cell["area"];
bool ff = false;
nlohmann::json cell_groups = cell["groups"];
for (nlohmann::json::iterator it = cell_groups.begin(); it != cell_groups.end(); ++it) {
nlohmann::json cell_group = *it;
if (cell_group.contains("ff")) {
ff = true;
break;
}
}
std::string name_s = names.template get<std::string>();
float area_f = area.template get<std::float_t>();
std::cout << name_s << " : " <<area_f << " " << ff << "\n" << std::endl;
cell_area["\\" + name_s] = {/*area=*/area_f, ff};
}
}
}
}
}
}
struct StatPass : public Pass { struct StatPass : public Pass {
StatPass() : Pass("stat", "print some statistics") { } StatPass() : Pass("stat", "print some statistics") { }
void help() override void help() override
@ -481,6 +559,9 @@ struct StatPass : public Pass {
log(" -liberty <liberty_file>\n"); log(" -liberty <liberty_file>\n");
log(" use cell area information from the provided liberty file\n"); log(" use cell area information from the provided liberty file\n");
log("\n"); log("\n");
log(" -libjson <liberty_file.json>\n");
log(" use cell area information from the provided JSON liberty file\n");
log("\n");
log(" -tech <technology>\n"); log(" -tech <technology>\n");
log(" print area estimate for the specified technology. Currently supported\n"); log(" print area estimate for the specified technology. Currently supported\n");
log(" values for <technology>: xilinx, cmos\n"); log(" values for <technology>: xilinx, cmos\n");
@ -515,6 +596,12 @@ struct StatPass : public Pass {
read_liberty_cellarea(cell_area, liberty_file); read_liberty_cellarea(cell_area, liberty_file);
continue; continue;
} }
if (args[argidx] == "-libjson" && argidx+1 < args.size()) {
string liberty_file = args[++argidx];
rewrite_filename(liberty_file);
read_libjson_cellarea(cell_area, liberty_file);
continue;
}
if (args[argidx] == "-tech" && argidx+1 < args.size()) { if (args[argidx] == "-tech" && argidx+1 < args.size()) {
techname = args[++argidx]; techname = args[++argidx];
continue; continue;