Advanced photovoltaic inverter functionality verification using 500kw power hardware-in-loop (PHIL) complete system laboratory testing.
Barry A. MatherMatthew A. KromerLeo CaseyPublished in: ISGT (2013)
Keyphrases
- formal verification
- solar energy
- test generation
- low cost
- hardware and software
- maximum power point tracking
- real time
- computational power
- power consumption
- ibm power processor
- hardware designs
- symbolic execution
- test cases
- functional verification
- control algorithm
- thin film
- single phase
- hardware architecture
- power generation
- advanced features
- power grid
- chip design
- model checking
- power electronics
- schottky barrier
- hardware implementation