Coverage evaluation is indispensable for verification via simulation. As the functional complexity of modern design is increasing at a breathtaking pace, it is requisite to take observability into account. Unfortunate...Coverage evaluation is indispensable for verification via simulation. As the functional complexity of modern design is increasing at a breathtaking pace, it is requisite to take observability into account. Unfortunately, nowadays coverage metrics taking observability into account are not very satisfactory. On the one hand, for the observability assessment algorithms proposed up to now, the overhead of computing is large, so they could not be integrated into simulation tools easily. On the other hand, the vector generation methods involving the metrics taking observability into account are not very efficient, and there exists a disconnection between these metrics and the vector generation process. In this paper, some original ideas for the problems above are presented. （1） Precise and concise abstract representations from HDL （Hardware Description Language） descriptions at RTL （Register Transfer Level） are presented to model observability information. （2） A novel observability evaluation method based on the proposed models is introduced. This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily. （3） A new simulation vector generation procedure involving the observability-enhanced statement coverage metric is developed. The method is simulation：based and driven by the distribution of unobserved statements. During this procedure, the proposed algorithm always tries to cover all unobserved statements, and reduce unnecessary backtracking, so it is efficient. The methods proposed have been implemented as a prototype tool for VHDL designs, and the results on benchmarks show significant benefits.展开更多
We propose theoretically and verify experimentally a method of combining a q-plate and a spiral phase plate to generate arbitrary vector vortex beams on a hybrid-order Poincaré sphere. We demonstrate that a vecto...We propose theoretically and verify experimentally a method of combining a q-plate and a spiral phase plate to generate arbitrary vector vortex beams on a hybrid-order Poincaré sphere. We demonstrate that a vector vortex beam can be decomposed into a vector beam and a vortex, whereby the generation can be realized by sequentially using a q-plate and a spiral phase plate. The generated vector beam, vortex, and vector vortex beam are verified and show good agreement with the prediction. Another advantage that should be pointed out is that the spiral phase plate and q-plate are both fabricated on silica substrates, suggesting the potential possibility to integrate the two structures on a single plate. Based on a compact method of transmissive-type transformation, our scheme may have potential applications in future integrated optical devices.展开更多
We report a method to tune the second harmonic generation(SHG) frequency of a metallic octamer by employing cylindrical vector beams as the excitation. Our method exploits the ability to spatially match the polarizati...We report a method to tune the second harmonic generation(SHG) frequency of a metallic octamer by employing cylindrical vector beams as the excitation. Our method exploits the ability to spatially match the polarization state of excitations with the fundamental target plasmonic modes, enabling flexible control of the SHG resonant frequency.It is found that SHG of the octamer is enhanced over a broad band(400 nm) by changing the excitation from the linearly polarized Gaussian beam to radially and azimuthally polarized beams. More strikingly, when subjected to an azimuthally polarized beam, the SHG intensity of the octamer becomes 30 times stronger than that for the linearly polarized beam even in the presence of Fano resonance.展开更多
We propose theoretically and verify experimentally a compact optical configuration to directly generate arbitrary vector vortex beams on a hybrid-order Poincare sphere with good flexibility and high efficiency based o...We propose theoretically and verify experimentally a compact optical configuration to directly generate arbitrary vector vortex beams on a hybrid-order Poincare sphere with good flexibility and high efficiency based on a reflective phase-only liquid crystal spatial light modulator （LC-SLM）. The conversion system, consisting of an LC-SLM and a quarter-wave plate, can be considered a flexible dielectric metasurface to simultaneously modulate inhomogeneous polarization and helical phase-front. This approach has some advantages, including a simple experimental setup, good flexibility, and high efficiency. superposition existing in the conventional method are potential applications in many advanced domains. Orthogonally polarized modes alignment and an explicit not necessary in the proposed method, which exhibits展开更多
We experimentally obtain cylindrical vector beams（CVBs） in a passively mode-locked fiber laser based on nonlinear polarization rotation. A mode-selective coupler composed of both a single-mode fiber（SMF） and a two...We experimentally obtain cylindrical vector beams（CVBs） in a passively mode-locked fiber laser based on nonlinear polarization rotation. A mode-selective coupler composed of both a single-mode fiber（SMF） and a twomode fiber（TMF） is incorporated into the cavity to act as a mode converter from LP01 mode to LP11 mode with broad spectral bandwidth. CVBs in different mode-locked states including single-pulse, multi-pulse, and bound pulse are obtained, for the first time to our best knowledge. The ultrafast CVBs with different operation states have potential applications in many fields such as laser beam machining, nanoparticle manipulation, and so on.展开更多
The polarization evolution of vector beams(VBs) generated by q-plates is investigated theoretically and experimentally.An analytical model is developed for the VB created by a general quarter-wave q-plate based on vec...The polarization evolution of vector beams(VBs) generated by q-plates is investigated theoretically and experimentally.An analytical model is developed for the VB created by a general quarter-wave q-plate based on vector diffraction theory.It is found that the polarization distribution of VBs varies with position and the value q.In particular,for the incidence of circular polarization,the exit vector vortex beam has polarization states that cover the whole surface of the Poincarésphere,thereby constituting a full Poincarébeam.For the incidence of linear polarization,the VB is not cylindrical but specularly symmetric,and exhibits an azimuthal spin splitting.These results are in sharp contrast with those derived by the commonly used model,i.e.,regarding the incident light as a plane wave.By implementing q-plates with dielectric metasurfaces,further experiments validate the theoretical results.展开更多
文摘Coverage evaluation is indispensable for verification via simulation. As the functional complexity of modern design is increasing at a breathtaking pace, it is requisite to take observability into account. Unfortunately, nowadays coverage metrics taking observability into account are not very satisfactory. On the one hand, for the observability assessment algorithms proposed up to now, the overhead of computing is large, so they could not be integrated into simulation tools easily. On the other hand, the vector generation methods involving the metrics taking observability into account are not very efficient, and there exists a disconnection between these metrics and the vector generation process. In this paper, some original ideas for the problems above are presented. （1） Precise and concise abstract representations from HDL （Hardware Description Language） descriptions at RTL （Register Transfer Level） are presented to model observability information. （2） A novel observability evaluation method based on the proposed models is introduced. This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily. （3） A new simulation vector generation procedure involving the observability-enhanced statement coverage metric is developed. The method is simulation：based and driven by the distribution of unobserved statements. During this procedure, the proposed algorithm always tries to cover all unobserved statements, and reduce unnecessary backtracking, so it is efficient. The methods proposed have been implemented as a prototype tool for VHDL designs, and the results on benchmarks show significant benefits.
基金National Natural Science Foundation of China(NSFC)(11274106,11474089)
文摘We propose theoretically and verify experimentally a method of combining a q-plate and a spiral phase plate to generate arbitrary vector vortex beams on a hybrid-order Poincaré sphere. We demonstrate that a vector vortex beam can be decomposed into a vector beam and a vortex, whereby the generation can be realized by sequentially using a q-plate and a spiral phase plate. The generated vector beam, vortex, and vector vortex beam are verified and show good agreement with the prediction. Another advantage that should be pointed out is that the spiral phase plate and q-plate are both fabricated on silica substrates, suggesting the potential possibility to integrate the two structures on a single plate. Based on a compact method of transmissive-type transformation, our scheme may have potential applications in future integrated optical devices.
基金National Key R&D Program of China(2017YFA0303800)National Natural Science Foundation of China(NSFC)(11634010,51777168,61377035,61675170,61675171,61701303)+4 种基金Australian Research Council(ARC)(DP140100883)Natural Science Basic Research Plan in Shaanxi Province,China(2017JM6022)Fundamental Research Funds for the Central Universities,China(3102017zy017)Natural Science Foundation of Shanghai,China(17ZR1414300)Shanghai Pujiang Program,China(17PJ1404100)
文摘We report a method to tune the second harmonic generation(SHG) frequency of a metallic octamer by employing cylindrical vector beams as the excitation. Our method exploits the ability to spatially match the polarization state of excitations with the fundamental target plasmonic modes, enabling flexible control of the SHG resonant frequency.It is found that SHG of the octamer is enhanced over a broad band(400 nm) by changing the excitation from the linearly polarized Gaussian beam to radially and azimuthally polarized beams. More strikingly, when subjected to an azimuthally polarized beam, the SHG intensity of the octamer becomes 30 times stronger than that for the linearly polarized beam even in the presence of Fano resonance.
基金supported by the National High Technology Research and Development Program of China(No.2015AA016301)the National Key R&D Program of China(No.2017YFB1002900)the Jiangsu Provincial Key R&D Program(No.BE2016216)
文摘We propose theoretically and verify experimentally a compact optical configuration to directly generate arbitrary vector vortex beams on a hybrid-order Poincare sphere with good flexibility and high efficiency based on a reflective phase-only liquid crystal spatial light modulator （LC-SLM）. The conversion system, consisting of an LC-SLM and a quarter-wave plate, can be considered a flexible dielectric metasurface to simultaneously modulate inhomogeneous polarization and helical phase-front. This approach has some advantages, including a simple experimental setup, good flexibility, and high efficiency. superposition existing in the conventional method are potential applications in many advanced domains. Orthogonally polarized modes alignment and an explicit not necessary in the proposed method, which exhibits
基金supported by the National Science Foundation of Jiangsu Province(Nos.BK20161521 and BK20150858)the Nanjing University of Posts and Telecommunications(NUPTSF)(Nos.NY214059,NY214002,and NY215002)+2 种基金the Distinguished Professor Project of Jiangsu(No.RK002STP14001)the Six Talent Peaks Project in Jiangsu Province(No.2015-XCL-023)the Postgraduate Research&Practice Innovation Program of Jiangsu Province(Nos.SJCX17_0234 and KYCX17_0744)
文摘We experimentally obtain cylindrical vector beams（CVBs） in a passively mode-locked fiber laser based on nonlinear polarization rotation. A mode-selective coupler composed of both a single-mode fiber（SMF） and a twomode fiber（TMF） is incorporated into the cavity to act as a mode converter from LP01 mode to LP11 mode with broad spectral bandwidth. CVBs in different mode-locked states including single-pulse, multi-pulse, and bound pulse are obtained, for the first time to our best knowledge. The ultrafast CVBs with different operation states have potential applications in many fields such as laser beam machining, nanoparticle manipulation, and so on.
基金National Natural Science Foundation of China(NSFC)(10904036)Natural Science Foundation of Hunan Province(2015JJ3036)+2 种基金National High Technology Research and Development Program(2012AA01A301-01)Growth Program for Young Teachers of Hunan UniversityChina Scholarship Council(CSC)([2013]3050)
文摘The polarization evolution of vector beams(VBs) generated by q-plates is investigated theoretically and experimentally.An analytical model is developed for the VB created by a general quarter-wave q-plate based on vector diffraction theory.It is found that the polarization distribution of VBs varies with position and the value q.In particular,for the incidence of circular polarization,the exit vector vortex beam has polarization states that cover the whole surface of the Poincarésphere,thereby constituting a full Poincarébeam.For the incidence of linear polarization,the VB is not cylindrical but specularly symmetric,and exhibits an azimuthal spin splitting.These results are in sharp contrast with those derived by the commonly used model,i.e.,regarding the incident light as a plane wave.By implementing q-plates with dielectric metasurfaces,further experiments validate the theoretical results.
