PowerDRC/LVS toolset (extremely fast and accurate DRC, LVS, RCX, NVN, XOR/ Diff, and fill layer generation with easy run configuring and powerful debugging capabilities) working under control of Nefelus CMS (convenient and secure management of design data in a cloud with pay-per-use billing of the verification services)