Read Comments

Raghav said on 7/19/2008 9:00:52 AM:
SANTA CLARA, USA: Calypto Design Systems, a leader in sequential analysis technology, has unveiled a new version of its SLEC System-HLS (High Level Synthesis) product that is fully integrated with Cadence Design Systems new C-to-Silicon Compiler high-level synthesis technology. Calypto and Cadence joined forces to deliver a dynamic, system-level design solution that dramatically increases designer productivity by automating the C-to-Silicon Compiler and SLEC (Sequential Logic Equivalence Checker) verification flow. SLEC System-HLS, based on Calyptos patented sequential analysis technology, verifies that the register transfer level (RTL) code generated by C-to-Silicon Compiler is functionally equivalent to the original SystemC code. "The industry requires formal equivalence checking in high-level synthesis flows" states Hisaharu Miwa, general manager of Design Technology Division, LSI Product Technology Unit, Renesas Technology Corp., whose design team was an early adopter of the integrated Cadence/Calypto flow. "We found that the Calypto SLEC System-HLS and Cadence C-to-Silicon Compiler integration provides us an excellent system-level formal verification flow, saving our design team significant time and maximizing productivity." SLEC is the semiconductor industrys only functional verification solution to formally verify equivalence between electronic system level (ESL) models and RTL implementations. SLEC System-HLS comprehensively verifies the output of C-to-Silicon Compiler, eliminating the need for many time-consuming simulation regressions. "Calyptos SLEC System-HLS product has become the standard for system-level equivalence checking," said Michael McNamara, VP/GM of the Cadence C-to-Silicon Compiler technology incubator. "Adding a tight integration between SLEC System-HLS and C-to-Silicon Compiler to our design and verification flows built around both the Encounter digital IC design and Incisive verification platforms enables Cadence to provide customers with a comprehensive solution for system level design and verification." SLEC System-HLS is an added option to SLEC System. SLEC System-HLS tightly integrates SLEC System into HLS design flows and includes solutions for Cadence Design Systems C-to-Silicon Compiler, Forte Design Systems Cynthesizer and Mentor Graphics Catapult-C. Each HLS vendor solution is sold separately and priced at $50,000 for a one-year, time-based license.

Raghvendra Singh said on 7/19/2008 8:59:42 AM:
1. #define _WIN32_WINNT 0x0501 #ifndef UNICODE #define UNICODE #endif #include #include #include int wmain(int argc, wchar_t *argv[ ]) { DWORD dwError = 0; NET_API_STATUS nStatus; if(argc != 5) { fwprintf(stderr, L"Usage: %s ServerName UserName OldPassword NewPassword\n", argv[0]); exit(1); } nStatus = NetUserChangePassword(argv[1], argv[2], argv[3], argv[4]); if(nStatus == NERR_Success) fwprintf(stderr, L"Password for %s user has been changed successfully\n", argv[2]); else fprintf(stderr, "A system error has occurred: %d\n", nStatus); return 0; } 2. #define _WIN32_WINNT 0x0501 #ifndef UNICODE #define UNICODE #endif #include #include #include int wmain(int argc, wchar_t *argv[]) { LOCALGROUP_INFO_1 lgi1; DWORD dwLevel = 1; DWORD dwError = 0; NET_API_STATUS nStatus; if(argc != 4) { fwprintf(stderr, L"Usage: %s ServerName GroupName Comment\n", argv[0]); exit(1); } lgi1.lgrpi1_name = argv[2]; lgi1.lgrpi1_comment = argv[3]; nStatus = NetLocalGroupAdd(argv[1], dwLevel, (LPBYTE)&lgi1, &dwError); if(nStatus == NERR_Success) fwprintf(stderr, L"%s local group has been created successfully on %s machine.\n", argv[2], argv[1]); else fprintf(stderr, "A system error has occurred: %d\n", nStatus); return 0; } #define _WIN32_WINNT 0x0501 #ifndef UNICODE #define UNICODE #endif 3. #include #include #include int wmain(int argc, wchar_t *argv[ ]) { LOCALGROUP_MEMBERS_INFO_3 lgmi3; DWORD dwLevel = 3; DWORD totalEntries = 1; NET_API_STATUS nStatus; if(argc != 4) { fwprintf(stderr, L"Usage: %s ServerName GroupName MemberAccountName-(DomainName\\AccountName)\n", argv[0]); exit(1); } lgmi3.lgrmi3_domainandname = argv[3]; nStatus = NetLocalGroupAddMembers(argv[1], argv[2], dwLevel, (LPBYTE)&lgmi3, totalEntries); if(nStatus == NERR_Success) fwprintf(stderr, L"%s has been added successfully to %s on %s machine.\n", argv[3], argv[2], argv[1]); else fwprintf(stderr, L"A system error has occurred: %d\n", nStatus); return 0; } 4. #define _WIN32_WINNT 0x0500 #ifndef UNICODE #define UNICODE #endif #include #include #include int wmain(int argc, wchar_t *argv[ ]) { LOCALGROUP_MEMBERS