共 50 条
- [1] The Shazar caverns – Design challenges and construction experience [J]. Geomechanik und Tunnelbau, 2020, 13 (06): : 650 - 657
- [2] The new Linth-Limmern hydro-power plant - design of caverns under 500m overburden [J]. ROCK MECHANICS IN CIVIL AND ENVIRONMENTAL ENGINEERING, 2010, : 467 - +
- [3] MODERN CAVERNS IN GOTHAM-GEOTECHNICAL AND DESIGN CHALLENGES FOR LARGE ROCK CAVERNS IN MANHATTAN [J]. 2009 RAPID EXCAVATION AND TUNNELING CONFERENCE, PROCEEDINGS, 2009, : 35 - 47
- [4] SIMULATION CHALLENGES BREADBOARDING FOR DESIGN VERIFICATION [J]. COMPUTER DESIGN, 1986, 25 (12): : 63 - &
- [5] Targeting design, verification, and test challenges [J]. IEEE DESIGN & TEST OF COMPUTERS, 2011, 28 (02): : 4 - 5
- [7] Design of underground caverns - An overview [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON HYDRO POWER DEVELOPMENT IN HIMALAYAS, 1998, : 367 - 376
- [8] Verification challenges and opportunities in the new era of microprocessor design [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 6 - 7
- [10] Verification challenges in configurable processor design with ASIP meister [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 2 - 2