riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Added ezsat api for creation of anonymous vectors

This commit is contained in:
Clifford Wolf 2013-08-15 14:40:26 +02:00
parent 2f3da54f26
commit 457dc09cdc
2 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
libs/ezsat/ezsat.cc
View File

@ -667,6 +667,14 @@ std::vector<int> ezSAT::vec_const_unsigned(uint64_t value, int bits)
return vec;
}
std::vector<int> ezSAT::vec_var(int bits)
{
std::vector<int> vec;
for (int i = 0; i < bits; i++)
vec.push_back(literal());
return vec;
}
std::vector<int> ezSAT::vec_var(std::string name, int bits)
{
std::vector<int> vec;

1
libs/ezsat/ezsat.h
View File

@ -208,6 +208,7 @@ public:
std::vector<int> vec_const_signed(int64_t value, int bits);
std::vector<int> vec_const_unsigned(uint64_t value, int bits);
std::vector<int> vec_var(int bits);
std::vector<int> vec_var(std::string name, int bits);
std::vector<int> vec_cast(const std::vector<int> &vec1, int toBits, bool signExtend = false);